Section: Partnerships and Cooperations

European Initiatives

Collaborations in European Programs, except FP7 & H2020

• Program: PHC Polonium

• Project title: Expressing concurrency through control operators

• Duration: January 2015 - December 2016

• Coordinator: Sergueï Lenglet

• Other partner: Institute of Computer Science, University of Wrocław, Poland

• Abstract: The goal of this project is to explore the interplay between concurrency, continuations, and control operators at a fundamental level. We do not restrict ourselves to a specific programming language, but we use more general and well established formal models, namely process calculi (such as the $\pi$-calculus) for concurrency, and the $\lambda$-calculus (a model of sequential functional programming) for continuations and control operators. We want to find new connections between concurrency and control operators, and especially new ways of implementing concurrent and distributed programs with the help of control operators.